Language Constrained Graph Problems
نویسنده
چکیده
This paper starts by discussing an algorithmic view of labeled path problems. In particular, we apply Seidel’s all-pairs shortest-path algorithm for undirected and unweighted graphs to a basic problem in labeled paths. Seidel’s algorithm is applied to find unlabeled paths between any pairs of nodes in a labeled graph whose associated context-free grammar G can generate the empty string . Our result is a corollary of Seidel’s algorithm. Then we mention a number of diverse labeled path applications. Labeled path problems are then used to demonstrate some concepts and insights about research and development. We briefly discuss their place in building our intellectual infrastructure as well as their potential contributions to modern business and entrepreneurship. We attempt to give a broad perspective to research and development from their intellectual foundations to their place in modern business and entrepreneurship. It serves as a high-level sketch rather than a comprehensive discussion. Key–Words: Path problems, entrepreneurship, intellectual infrastructure, paradigm shift, integrated learning base, creative destruction, science and business, labeled graphs.
منابع مشابه
Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics
We show interreducibility under (Turing) reductions of low polynomial degree between three families of problems parametrised by classes of formal languages: the problem of reachability in a directed graph constrained by a formal language, the problem of deciding whether or not the intersection of a language of some class with a regular language is empty, and the model checking problem for Propo...
متن کاملRemoving Node and Edge Overlapping in Graph Layouts by a Modified EGENET Solver
Graph layout problems such as node and edge overlapping occur widely in many industrial computer-aided design applications. Usually, these problems are handled in an ad hoc manner by some specially designed algorithms. GENET and its extended model EGENET are local search methods used to solve constraint satisfaction problems such as the car-sequencing problems efficiently. Both models use the m...
متن کاملAn improved genetic algorithm for multidimensional optimization of precedence-constrained production planning and scheduling
Integration of production planning and scheduling is a class of problems commonly found in manufacturing industry. This class of problems associated with precedence constraint has been previously modeled and optimized by the authors, in which, it requires a multidimensional optimization at the same time: what to make, how many to make, where to make and the order to make. It is a combinatorial,...
متن کاملFormal Language Constrained Path Problems
Given an alphabet , a (directed) graph G whose edges are weighted and -labeled, and a formal language L , we consider the problem of finding a shortest (simple) path p in G complying with the additional constraint that l(p) 2 L. Here l(p) denotes the unique word given by concatenating the -labels of the edges along the path p. The main contributions of this paper include the following: 1. We sh...
متن کاملGenerating Design Suggestions under Tight Constraints with Gradient-based Probabilistic Programming
We present a system for generating suggestions from highly-constrained, continuous design spaces. We formulate suggestion as sampling from a probability distribution; constraints are represented as factors that concentrate probability mass around sub-manifolds of the design space. These sampling problems are intractable using typical random walk MCMC techniques, so we adopt Hamiltonian Monte Ca...
متن کاملImplementations of routing algorithms for transportation networks
We discuss the generalization of the point-to-point (and single-source) shortest path problem to instances where the shortest path must satisfy a formal language constraint. We describe theoretical and experimental results on a generalization of Dijkstra’s algorithm to finding regular-language-constrained shortest paths. This algorithm forms a model for single-source shortest paths and point-to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008